Recursively Saturated Models of Set Theory
نویسندگان
چکیده
منابع مشابه
Recursively Saturated Models of Set Theory
We determine when a model 90? of ZF can be expanded to a model <SW, %y of a weak extension of Godel Bernays: GB + the A] comprehension axiom. For nonstandard W, the ordinal of the standard part of ÜR must equal the inductive closure ordinal of SK, and 2J? must satisfy the axioms of ZF with replacement and separation for formulas involving predicates for all hyperelementary relations on SK. We a...
متن کاملDegrees of Recursively Saturated Models
Using relativizations of results of Goncharov and Peretyat'kin on decidable homogeneous models, we prove that if M is S-saturated for some Scott set S, and F is an enumeration of S, then M has a presentation recursive in F. Applying this result we are able to classify degrees coding (i) the reducts of models of PA to addition or multiplication, (ii) internally finite initial segments and (iii) ...
متن کاملModels of Set Theory
1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics and the incompleteness theorems 3 1.5. The axioms 4 2. Review of basic set theory 5 2.1. Classes 5 2.2. Well-founded relations and recursion 5 2.3. Ordinals, cardinals and arithmetic 6 3. The consistency of the Axiom of Foundation 8 ...
متن کاملA Valuation Theoretic Characterization of Recursively saturated Real Closed Fields
We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in in [KKMZ02], where the authors gave such a characterization for κ-saturation, for a cardinal κ ≥ א0. Our result extends the characterization of Harnik and Ressayre [HR] for a divisible ordered abelian group to be recursively saturated.
متن کاملThe Automorphism Group of a Countable Recursively Saturated Structure
The automorphism groups of K0-categorical structures have been studied extensively by both permutation group theorists and model theorists, and this collaboration has turned out to be very fruitful. (See, for example, [10,6,2].) The notion of a recursively saturated structure generalizes that of a (countable) X0-saturated structure, and countably infinite recursively saturated structures also h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1980
ISSN: 0002-9939
DOI: 10.2307/2042160